Merge pull request #526 from antonio-nino-diaz-arm/an/missing_doc
authordanh-arm <[email protected]>
Thu, 18 Feb 2016 18:33:59 +0000 (18:33 +0000)
committerdanh-arm <[email protected]>
Thu, 18 Feb 2016 18:33:59 +0000 (18:33 +0000)
Add missing build options to the User Guide

1  2 
docs/user-guide.md

Simple merge